Smc-Based Linear Temporal Logic Motion Planning For Teams Of Robots